Fiche membre Retour à l'annuaire
Charles PRUD'HOMME
ENSEIGNANT-CHERCHEUR
: Charles.Prudhommeatls2n.fr
Adresse :
Publications référencées sur HAL
Revues internationales avec comité de lecture (ART_INT)
- [1] J. Sciau, A. Goyon, A. Sarazin, J. Bascans, C. Prud’homme, X. Lorca. Using constraint programming to address the operational aircraft line maintenance scheduling problem. In Journal of Air Transport Management ; éd. Elsevier, 2024, vol. 115.https://imt-mines-albi.hal.science/hal-04411305v1
- [2] D. Justeau-Allaire, C. Prud'Homme. Global domain views for expressive and cross-domain constraint programming. In Constraints ; éd. Springer Verlag, 2022, vol. 27, num. 1-2.https://hal.inrae.fr/hal-03534058v1
- [3] M. Vavrille, C. Truchet, C. Prud’homme. Solution sampling with random table constraints. In Constraints ; éd. Springer Verlag, 2022, vol. 27.https://hal.science/hal-03776149v1
- [4] C. Prud’homme, J. Fages. Choco-solver. In Journal of Open Source Software ; éd. Open Journals, 2022, vol. 7, num. 78.https://hal.science/hal-03932507v1
- [5] Z. Al-Shara, F. Alvares, H. Bruneliere, J. Lejeune, C. Prud'Homme, T. Ledoux. CoMe4ACloud: An End-to-End Framework for Autonomic Cloud Systems. In Future Generation Computer Systems ; éd. Elsevier, 2018, vol. 86.https://hal.science/hal-01762716v1
- [6] C. Prud'Homme, X. Lorca, R. Douence, N. Jussien. Propagation Engine Prototyping with a Domain Specific Language. In Constraints ; éd. Springer Verlag, 2014, vol. 19, num. 1.https://hal.science/hal-00867604v1
- [7] X. Lorca, C. Prud'Homme, N. Jussien. Explanation-Based Large Neighborhood Search. In Constraints ; éd. Springer Verlag, 2014, vol. 19, num. 4.https://hal.science/hal-01087844v1
- [8] J. Philippe, A. Omond, H. Coullon, C. Prud'Homme, I. Raïs. Fast Choreography of Cross-DevOps Reconfiguration with Ballet: A Multi-Site OpenStack Case Study. In SANER 2024 - IEEE International Conference on Software Analysis, Evolution and Reengineering, mars 2024, Rovaniemi, Finlande.https://hal.science/hal-04457484v1
- [9] J. Sciau, A. Goyon, A. Sarazin, J. Bascans, C. Prud'Homme, X. Lorca. Un modèle de programmation par contraintes pour la maintenance opérationnelle aéronautique. In JFPC 2024 Journées Francophones de Programmation par Contraintes, juin 2024, Lens, France.https://hal.science/hal-04652791v1
- [10] S. Le Bozec-Chiffoleau, C. Prud'Homme, G. Simonin. Polynomial Time Presolve Algorithms for Rotation-Based Models Solving the Robust Stable Matching Problem. In IJCAI 2024: Thirty-Third International Joint Conference on Artificial Intelligence, août 2024, Jeju (virtual), Corée du Sud.https://hal.science/hal-04716981v1
- [11] G. Audemard, C. Lecoutre, C. Prud'Homme. Guiding Backtrack Search by Tracking Variables During Constraint Propagation. In International Conference on Principles and Practice of Constraint Programming (CP'23), 2023, Toronto ( CA ), Canada.https://hal.science/hal-04220560v1
- [12] A. Alidra, H. Bruneliere, H. Coullon, T. Ledoux, C. Prud'Homme, J. Lejeune, P. Sens, J. Sopena, J. Rivalan. SeMaFoR - Self-Management of Fog Resources with Collaborative Decentralized Controllers. In SEAMS 2023 - IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems, mai 2023, Melbourne, Australie.https://hal.science/hal-04043471v1
- [13] S. Delaune, P. Derbez, A. Gontier, C. Prud'Homme. Diffusion totale dans le schéma de Feistel généralisé. In ROADEF 2022 : 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, février 2022, Villeurbanne - Lyon, France.https://hal.science/hal-03595277v1
- [14] S. Delaune, P. Derbez, A. Gontier, C. Prud'Homme. New Algorithm for Exhausting Optimal Permutations for Generalized Feistel Networks. In INDOCRYPT 2022: 23rd International Conference on Cryptology in India, décembre 2022, Kolkata, Inde.https://hal.science/hal-03927074v1
- [15] S. Delaune, P. Derbez, A. Gontier, C. Prud'Homme. A Simpler Model for Recovering Superpoly on Trivium. In SAC 2021: International Conference on Selected Areas in Cryptography, septembre 2021, Victoria, British-Columbia, Canada.https://hal.science/hal-03534492v1
- [16] M. Vavrille, C. Truchet, C. Prud'Homme. Solution sampling with random table constraints. In CP 2021: 27th International Conference on Principles and Practice of Constraint Programming, octobre 2021, Montpellier (en ligne), France.https://hal.science/hal-03776130v1
- [17] S. Delaune, P. Derbez, P. Huynh, M. Minier, V. Mollimard, C. Prud'Homme. Efficient Methods to Search for Best Differential Characteristics on SKINNY. In ACNS 2021 - 19th International Conference on Applied Cryptography and Network Security, juin 2021, Kamakura, Japon.In Kazue Sako (éds.), . , 2021.https://hal.science/hal-03040548v2
- [18] A. Gontier, C. Truchet, C. Prud'Homme. Conflict analysis in CP solving: Explanation generation from constraint decomposition. In CP 2020: 26th International Conference on Principles and Practice of Constraint Programming: Workshop: From Constraint Programming to Trustworthy AI, septembre 2020, Louvain-la-Neuve, Belgique.https://hal.science/hal-03179630v1
- [19] M. Abderrahim, M. Ouzzif, K. Guillouard, J. François, A. Lebre, C. Prud'Homme, X. Lorca. Efficient Resource Allocation for Multi-tenant Monitoring of Edge Infrastructures. In PDP 2019 - 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, février 2019, Pavie, Italie.https://inria.hal.science/hal-01987946v1
- [20] F. Ait Salaht, F. Desprez, A. Lebre, C. Prud'Homme, M. Abderrahim. Service Placement in Fog Computing Using Constraint Programming. In SCC 2019 : IEEE International Conference on Services Computing, juillet 2019, Milan, Italie.https://hal.science/hal-02108806v1
- [21] N. Beldiceanu, M. Carlsson, A. Derrien, C. Prud'Homme, A. Schutt, P. Stuckey. Range-Consistent Forbidden Regions of Allen’s Relations. In CPAIOR 2017 : 14th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, juin 2017, Padoue, Italie.https://hal.science/hal-01686406v1
- [22] J. Fages, C. Prud'Homme. Making the first solution good!. In ICTAI 2017 : 29th IEEE International Conference on Tools with Artificial Intelligence, novembre 2017, Boston, MA, états-Unis.https://hal.science/hal-01629182v1
- [23] X. Lorca, C. Prud'Homme, A. Questel, B. Rottembourg. Using Constraint Programming for the Urban Transit Crew Rescheduling Problem. In Principles and Practice of Constraint Programming, septembre 2016, Toulouse, France.https://hal.science/hal-01436288v1
- [24] N. Beldiceanu, M. Carlsson, P. Flener, X. Lorca, J. Pearson, T. Petit, C. Prud'Homme. A Modelling Pearl with Sortedness Constraints. In Global conference on artificial intelligence, octobre 2015, Tbilisi, Géorgie.https://inria.hal.science/hal-01186680v1
- [25] A. Derrien, J. Fages, T. Petit, C. Prud'Homme. A Global Constraint for a Tractable Class of Temporal Optimization Problems. In Principles and Practice of Constraint Programming, CP 2015, août 2015, Cork, Irlande.In Gilles Pesant (éds.), . Springer, 2015.https://hal.science/hal-01241079v1
- [26] J. Fages, G. Chabert, C. Prud'Homme. Combining finite and continuous solvers Towards a simpler solver maintenance. In The 19th International Conference on Principles and Practice of Constraint Programming, septembre 2013, Uppsala, Suède.https://hal.science/hal-00904069v1
- [27] M. Vavrille, C. Truchet, C. Prud'Homme. Tirage de solutions par ajout de contraintes tables aléatoires. In Journées Francophones de Programmation par Contraintes, juin 2021, Nice, France.https://hal.science/hal-03776147v1
- [28] C. Prud'Homme, X. Lorca, R. Douence, N. Jussien. Prototyper des Moteurs de Propagation avec un DSL. In Journées française de la Programmation par Contraintes, 2013, Aix-en-Provence, France.https://hal.science/hal-00867713v1
- [29] C. Prud'Homme, P. Dejax, C. Gueret, N. Velasco. Heuristique pour un problème de tournées d'hélicoptère de type pickup and delivery. In ROADEF'05, février 2005, Tours, France.https://hal.science/hal-00363157v1
- [30] C. Prud'Homme. Contrôle de la propagation et de la recherche dans un solveur de contraintes. Thèses : Ecole des Mines de Nantes. https://theses.hal.science/tel-01060921v1
- [31] S. Le Bozec-Chiffoleau, C. Prud'Homme, G. Simonin. Technical Appendix for Polynomial Time Presolve Algorithms for Rotation-Based Models Solving the Robust Stable Matching Problem. Rapport technique, 2024 ; IMT Atlantique.https://hal.science/hal-04569962v2
- [32] M. Vavrille, E. Meunier, C. Truchet, C. Prud'Homme. Linear Time Computation of Variation Degree and Commonalities on Feature Diagrams. Rapport technique, 2023 ; Nantes Université, École Centrale Nantes, IMT Atlantique, CNRS, LS2N, UMR 6004, F-44000 Nantes, France.https://hal.science/hal-03970237v1
- [33] M. Abderrahim, M. Ouzzif, K. Guillouard, J. François, X. Lorca, C. Prud'Homme, A. Lebre. A Framework for Edge Infrastructures Monitoring. Rapport technique, 2018 ; Orange Labs, Inria Nancy - Grand Est, IMT-Atlantique.https://inria.hal.science/hal-01897570v3
